Paul

Results: 49946



#Item
11Software engineering / Programming language implementation / Computer programming / Compiler construction / Compilers / Functional languages / LLVM / Haskell / Cabal / GHC / Static single assignment form / Compiler

Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016

Add to Reading List

Source URL: thev.net

Language: English - Date: 2016-09-28 19:55:36
12Mathematics / Mathematical analysis / Theoretical computer science / Lambda calculus / Differential calculus / Combinatory logic / Fixed-point combinator / Recursion / Ordinary differential equation / Derivative / Function / Monad

An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science

Add to Reading List

Source URL: thev.net

Language: English - Date: 2009-11-11 16:42:08
13Draft:League Table Weights for BWT

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Add to Reading List

Source URL: thev.net

Language: English - Date: 2009-08-30 21:09:18
    14Computer architecture / Computing / Computer engineering / GPGPU / Parallel computing / Graphics hardware / Coprocessors / Application-specific integrated circuits / Graphics processing unit / Single instruction /  multiple threads / Advanced Micro Devices / Central processing unit

    Native Offload of Haskell Repa Programs to Integrated GPUs Hai (Paul) Liu with Laurence Day, Neal Glew, Todd Anderson, Rajkishore Barik Intel Labs. September 28, 2016

    Add to Reading List

    Source URL: thev.net

    Language: English - Date: 2016-09-28 19:55:06
    15Computer security / Computer hardware / Side-channel attacks / X86 architecture / Computing / Meltdown / Computer engineering / Pwnie Awards

    Meltdown Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6 , Yuval Yarom

    Add to Reading List

    Source URL: mlq.me

    Language: English - Date: 2018-08-17 12:03:32
    16

    Hardlopen met Power! Paul Zwama, met 2:20:45 de wereldrecordhouder marathon op de loopband De 31-jarige Nederlander Paul Zwama wil in 2020 naar de Olympische Spelen in Tokyo. Hij heeft 2 jaar de tijd om zich te kwalifice

    Add to Reading List

    Source URL: hetgeheimvanhardlopen.nl

    Language: Dutch - Date: 2018-08-31 02:05:19
      17Payment systems / Economy / Money / Finance / Credit card / Debit card / Payment card / Payment

      PAUL D. PATE Secretary of State State of Iowa CREDIT CARD PAYMENT AUTHORIZATION FORM

      Add to Reading List

      Source URL: sos.iowa.gov

      Language: English - Date: 2014-11-10 12:20:06
      18

      JOE PAUL GONZALEZ CLERK, AUDITOR & RECORDER REGISTRAR OF VOTERS Telephone: Co. Clerk: (Elections: (

      Add to Reading List

      Source URL: sbcvote.us

      - Date: 2017-05-02 17:28:33
        19Linguistics / Phonetics / Phonology / Human communication / Human behavior / Language / Computer accessibility / Speech recognition / Amazon Alexa / Phoneme / Amazon Echo / Alexa

        Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract

        Add to Reading List

        Source URL: kumarde.com

        Language: English - Date: 2018-08-16 10:08:06
        20Economy / Money / Finance / Warrant / Payment systems / Cheque / IOU / Lost /  mislaid /  and abandoned property / Hollister /  California / Identity document

        OFFICE OF THE COUNTY AUDITOR 481 Fourth Street, Second Floor Hollister, CaliforniaJOE PAUL GONZALEZ CLERK, AUDITOR & RECORDER

        Add to Reading List

        Source URL: sbcvote.us

        Language: English - Date: 2017-05-02 17:28:38
        UPDATE